Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
501	Extracting Paraphrases from Definition Sentences on the Web Chikara Hashimoto∗ Kentaro Torisawa† Stijn De Saeger‡ Jun’ichi Kazama§ Sadao Kurohashi¶ ∗†‡§ National Institute of Information and Communicatio Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 17:36:24 Deduction Entailment Logical consequence Metalogic Presbyterian paraphrases Modal logic Sentence Statistical machine translation Copula Logic Linguistics Philosophical logic
502	1 Lemma 1 Ltd. c/o Interglossa 2nd Floor 31A Chain St. Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:09 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics
503	Microsoft PowerPoint - TemporalLogic.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Mathematics Linear temporal logic CTL* Entailment Kripke structure Function Golden ratio Modal logic Logic Temporal logic Mathematical logic
504	Preprint from http://www.philosophyofinformation.net This is a preprint of a paper accepted for publication in Synthese (Springer) Permission to make digital or hard copies of all or part of this work for personal or cla Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:54:34 Philosophical logic Deduction Non-classical logic Analytic philosophers Epistemic modal logic Closure Normal modal logic Doxastic logic Deductive closure Logic Mathematical logic Modal logic
505	On Representing Actions in Multi-Agent Domains Chitta Baral and Gregory Gelfond Department of Computer Science and Engineering Arizona State University Abstract. Reasoning about actions forms the foundation of predictio Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-06-05 19:58:05 Interpretation Philosophy of language Philosophy of mind Semantics Epistemic modal logic Modal logic Symbol Structure Linear temporal logic Logic Mathematical logic Model theory
506	Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 16:57:08 Philosophical logic Non-classical logic Propositional calculus Knowledge representation Entailment Modal logic Textual entailment WordNet Verb Logic Science Logical consequence
507	Preprint from http://www.philosophyofinformation.net This is a preprint of a paper accepted for publication in Logique et Analyse Permission to make digital or hard copies of all or part of this work for personal or clas Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:17 Philosophy of mind Perception Epistemology Information Philosophy of information Luciano Floridi Direct and indirect realism Modal logic Philosophy of perception Philosophy Mind Knowledge
508	Preprint from http://www.philosophyofinformation.net This is a preprint of a paper accepted for publication in Synthese (Springer) Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:54:41 Luciano Floridi Skepticism Epistemologists Year of birth unknown Year of death unknown Philosophy of information Modal logic Information Epistemology Philosophy Science Knowledge
509	Logique & Analyse[removed]), x–x THE LOGIC OF BEING INFORMED LUCIANO FLORIDI∗ Abstract One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistem Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:32 Formal systems Modal logic Philosophical logic Non-classical logic Epistemic modal logic Luciano Floridi Propositional calculus Axiom Information Logic Mathematical logic Science
510	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming

UPDATE